On pompe alors l’eau du polder.